1. A science of operations

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA76
.
6
.
P75
2010

2. A science of operations

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

3. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses

رده :
QA
905
.
L35

4. Computational Logic in Multi-Agent Systems

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر

رده :
E-Book
,

5. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert

رده :
QA
76
.
L28
Vol
.
2407-2408

6. Constraint Solving and Language Processing

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

7. Foundations of logic programming

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic programming,Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L583
1987

8. Foundations of logic programming

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
6
.
L583
1984

9. Foundations of logic programming

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
6
.
L583
1987

10. Foundations of logic programming

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic programming,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L56
1987

11. Functional and constraint logic programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses,Mathematical Logic and Formal Languages

رده :
QA76
.
63
.
W45
2011

12. Generalized quantifiers and computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

13. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1754

14. Implementation and application of functional language

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books

رده :
QA76
.
62
.
I58
2010

15. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

پدیدآورنده :

موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

16. Lambda-calculus, combinators, and functional programming

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Lambda calculus,، Combinatory logic,، Functional programming languages

رده :
QA
9
.
5
.
R48
1988

17. Lambda-calculus, combinators, and functional programming

پدیدآورنده :

موضوع : Lambda calculus,Combinatory logic,Functional programming languages

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

18. Language, logic, and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
9
.
L63

19. Les mathematiques a la portee de l'ordinateur

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(

رده :
Q
335
.
A75

20. Logic, language, and computation

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005